s:DSet. IsEqFun(|s|;=) 

latex

Up	sets 1
Definitions of Statement	DSet
Definitions	True, T, t  T, x:A. B(x), P  Q, SqStable(P), DSet
Lemmas	dset wf, set eq wf, set car wf, sq stable eqfun p